Natural proof - PDFSEARCH.IO - Document Search Engine

Natural proof
Results: 343

#	Item
61	Which simple types have a unique inhabitant? Gabriel Scherer Didier R´emy INRIA Add to Reading List Source URL: gallium.inria.fr Language: English - Date: 2015-03-03 05:16:01 Proof theory Lambda calculus Type theory Logic in computer science Model theory Natural deduction System F Function Sequent calculus Mathematical logic Logic Mathematics
62	Verifiable C Applying the Verified Software Toolchain to C programs Version 1.5 October 1, 2014 Add to Reading List Source URL: vst.cs.princeton.edu Language: English - Date: 2014-10-01 14:51:04 Binary operations Deduction Proof theory If and only if Logic Natural deduction Valuation Abstract algebra Mathematics Algebra
63	Prawitz’s proof-theoretic account of consequence John MacFarlane — Philosophy 142 March 15, 2011 1 Add to Reading List Source URL: johnmacfarlane.net Language: English - Date: 2011-03-15 15:24:03 Logical consequence Critical thinking Propositional calculus Natural deduction Disjunctive syllogism Validity Entailment Philosophy of mathematics Inference Logic Deduction Arguments
64	Journal of Computer and System Sciences–737 Contents lists available at ScienceDirect Journal of Computer and System Sciences www.elsevier.com/locate/jcss Add to Reading List Source URL: math.mit.edu Language: English - Date: 2011-03-23 10:26:18 Applied mathematics Natural proof Pseudorandom generator Entailment Time complexity Circuit complexity Arithmetic function Holomorphic functional calculus Theoretical computer science Computational complexity theory Logic
65	A Realizability Model for a Semantical Value Restriction Rodolphe Lepigre Laboratoire de Math´ematiques, UMR 5127 CNRS Universit´e Savoie Mont-BlancLe Bourget-du-Lac, France Add to Reading List Source URL: lepigre.fr Language: English - Date: 2015-03-20 16:12:30 Proof theory Symbol Curry–Howard correspondence Valuation Lambda calculus Natural deduction Μ operator Mathematics Theoretical computer science Abstract algebra
66	1 Polarised Intermediate Representation of Lambda Calculus with Sums Guillaume Munch-Maccagnoni Add to Reading List Source URL: gallium.inria.fr Language: English - Date: 2015-04-08 08:34:46 Natural deduction Lambda calculus Sequent calculus Admissible rule Calculus Sequent Entailment Judgment Curry–Howard correspondence Logic Mathematical logic Proof theory
67	Normalization by realizability also evaluates Pierre-Évariste Dagand1 & Gabriel Scherer2 1: Gallium, INRIA Paris-Rocquencourt 2: Gallium, INRIA Paris-Rocquencourt Add to Reading List Source URL: gallium.inria.fr Language: English - Date: 2014-12-03 02:55:37 Logic Symbol Curry–Howard correspondence Valuation Forcing Natural deduction Physical quantity Mathematical logic Mathematics Proof theory
68	Towards Normalization by Evaluation for the βη-Calculus of Constructions Andreas Abel Project PI.R2, INRIA Rocquencourt and PPS, Paris Add to Reading List Source URL: www2.tcs.ifi.lmu.de Language: English - Date: 2011-02-18 18:03:08 Theoretical computer science Lambda calculus Normalisation by evaluation Natural deduction Symbol Proof theory Mathematical logic Programming language theory
69	Summary of Mathematical Notation Jean-Raymond Abrial (ETHZ) March 2008 Purpose of this Presentation Add to Reading List Source URL: www.fm2008.abo.fi Language: English - Date: 2008-06-10 09:27:49 Modus ponens Inference Rule of inference Natural deduction Structural proof theory Logic Proof theory Sequent
70	Secrecy and Authenticity Types for Secure Distributed Messaging? Michele Bugliesi, Stefano Calzavara, and Damiano Macedonio Universit` a Ca’ Foscari Venezia, Dipartimento di Informatica {michele,scalzava,mace}@dsi.univ Add to Reading List Source URL: www.dsi.unive.it Language: English - Date: 2010-06-10 05:02:59 Logic in computer science Mathematical logic Mathematical analysis Modular forms Curry–Howard correspondence Natural deduction Symbol Mathematics Proof theory

UPDATE